cs602 Adv Formal Lang & Machin

CS
602
小时
3.
正式的Lang & Machin

常规语言、上下文无关语言、递归和递归枚举语言、不确定性和不可判定性。

先决条件: CS 475CS 575